<?php
if (!isset($_GET['nohead'])) {
    header('Content-type: application/x-php');
    header('Content-Length: ' . filesize('download.phps'));
    header('Content-Disposition: attachment; filename="download.php"');
}
readfile('download.phps');
?>
